<?php

session_start();
session_unset();
session_destroy();

require( 'util.php' );
redirect_and_exit( 'index.php', '登出成功' );

?>